Books by author Andrey Rybalchenko

Showing 1 – 4 out of 4 results

1. 

   Verification, Model Checking, and Abstract Interpretation

   Viktor Kuncak, Andrey Rybalchenko | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   55.96 €

   Buy
2. 

   Verified Software: Theorie, Tools, Experiments

   Ernie Cohen, Andrey Rybalchenko | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Computer Science - Theory and Applications

   Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 
   New!

   On the Pursuit of Insight and Elegance

   Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies | Springer, Berlin, 2026

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy

We inform you about all changes of your order. Find out more